Number Field

Definition

A field F is called a number field if and only if it is a finite (and hence algebraic) extension of Q.

Such a field is a proper subfield of C, that is, QFC.